Probability on Finite and Discrete Set and Uniform Distribution
نویسندگان
چکیده
منابع مشابه
Probability on Finite and Discrete Set and Uniform Distribution
A pseudorandom number generator plays an important role in practice in computer science. For example: computer simulations, cryptology, and so on. A pseudorandom number generator is an algorithm to generate a sequence of numbers that is indistinguishable from the true random number sequence. In this article, we shall formalize the “Uniform Distribution” that is the idealized set of true random ...
متن کاملPosterior Probability on Finite Set 1 Hiroyuki
In [14] we formalized probability and probability distribution on a finite sample space. In this article first we propose a formalization of the class of finite sample spaces whose element’s probability distributions are equivalent with each other. Next, we formalize the probability measure of the class of sample spaces we have formalized above. Finally, we formalize the sampling and posterior ...
متن کاملProbability on Finite Set and Real-Valued Random Variables
One can prove the following four propositions: (1) Let X be a non empty set, S1 be a σ-field of subsets of X, M be a σ-measure on S1, f be a partial function from X to R, E be an element of S1, and a be a real number. Suppose f is integrable on M and E ⊆ dom f and M(E) < +∞ and for every element x of X such that x ∈ E holds a ≤ f(x). Then R(a) ·M(E) ≤ ∫ f E dM. (2) Let X be a non empty set, S1 ...
متن کاملThe Uniform-Pareto Distribution and Eeponentiated Uniform-Pareto Distribution and Their Application in Income Data
In this paper, a new distribution is introduced, which is a generalization of a well-known distribution. This distribution is flexible and applies to income data modeling. We first provide some of the mathematical and distributional properties of this new model and then, to demonstrate the flexibility the new distribution, we will present the applications of this distribution with ...
متن کاملon semihypergroups and hypergroups
in this thesis, first the notion of weak mutual associativity (w.m.a.) and the necessary and sufficient condition for a $(l,gamma)$-associated hypersemigroup $(h, ast)$ derived from some family of $lesssim$-preordered semigroups to be a hypergroup, are given. second, by proving the fact that the concrete categories, semihypergroups and hypergroups have not free objects we will introduce t...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2009
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-009-0020-z